use case 6 — wrong segment claims

![[Screenshot 2026-04-07 at 2.37.08 PM.png]]

The trace log makes several false claims about segments on ALPHA faces:

False edge claims: h→B, n→k, o→j, j→G, H→n and others are labeled as edge segments (e:) but are not real edges.

False intersection claim: d→e is labeled as an intersection line segment (i:) but is not a real intersection line.

False visibility claim: i→o is listed as a visible edge segment on face EFGH but is not actually visible.